#include "types.h"

#define SYSCALL_INT					0x84

int syscall_call(uint32_t, uint32_t, uint32_t, uint32_t);
